1. Computer Mathematics
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
2. Ideals, Varieties, and Algorithms
Author: by David Cox, John Little, Donal O'Shea.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematics.
3. Logic of Computation
Author: edited by Helmut Schwichtenberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
4. Proofs and Algorithms
Author: / Gilles Dowek
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical,Computer logic,Proof theory,Algorithms
Classification :
QA
9
.
D68
2011
5. Proofs and Algorithms : Introduction to Logic and Computability Theory
Author: Gilles Dowek
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer logic,، Logic, Symbolic and mathematical,، Proof theory,، Algorithms
Classification :
QA
76
.
9
.
L36D68
